Check Format

Add Not First/Not Last propagators for disjunctive #495

Sign in to view logs

Summary
Jobs
- check_format
Run details
- Usage
- Workflow file

Triggered via pull request May 26, 2025 02:10

AllenZzw

synchronize #180

AllenZzw:feat/disj_no_last

Status Success

Total duration 18s

Artifacts –

format.yml

on: pull_request